<?php
	function a1(){
		echo 9999;
	}

?>
